The Large Sieve, Monodromy and Zeta Functions of Algebraic Curves, Ii: Independence of the Zeros

Using the sieve for Frobenius developed earlier by the author, we show that in a certain sense, the roots of the L-functions of most algebraic curves over finite fields do not satisfy any non-trivial (linear or multiplicative) dependency relations. This can be seen as an analogue of conjectures of Q-linear independence among ordinates of zeros of Lfunctions over number fields. As a corollary of independent interest, we find for “most” pairs of distinct algebraic curves over a finite field the form of the distribution of the (suitably normalized) difference between the number of rational points over extensions of the ground field. The method of proof also emphasizes the relevance of Random Matrix models for this type of arithmetic questions. We also describe an alternate approach, suggested by N. Katz, which relies on Serre’s theory of Frobenius tori.